and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
11	Journal of Computer and System Sciences – 363 www.elsevier.com/locate/jcss Designing seeds for similarity search in genomic DNA Jeremy Buhlera,∗ , Uri Keichb , Yanni Suna a Department of Computer Scienc Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2005-12-15 13:57:59 Computational phylogenetics Bioinformatics Markov models Sequence alignment BLAST Markov chain Finite-state machine String searching algorithm Dynamic programming Multiple sequence alignment
12	A Taxonomy of Programming Models for Symmetric Multiprocessors and SMP Clusters W. W. Gropp and E. L. Lusk Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439 Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Parallel computing Thread Multiprocessing Message Passing Interface Symmetric multiprocessing SPMD Shared memory Scheduling Spinlock Gang scheduling Synchronization Mach
13	Preface The main motivation of writing this book was to help myself. I am a professor in the field of operations research, and my daily activities involve building models of mathematical optimization, developing algorit Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Operations research Mathematical optimization Computer algebra systems Mathematical modeling Program optimization AMPL Algorithm Julia Linear programming Computer programming Computational science Theoretical computer science
14	Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2011-04-24 22:59:22 Models of computation Computer architecture Synchronous programming languages Parallel computing Computer data Dataflow Kahn process networks Concurrent computing Concurrency LabVIEW SIGNAL Dataflow architecture
15	MONAURAL SEPARATION AND CLASSIFICATION OF NON-LINEAR TRANSFORMED INDEPENDENT SIGNALS: AN SVM PERSPECTIVE Sepp Hochreiter and Michael C. Mozer Department of Computer Science University of Colorado Boulder, CO 80309 Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2013-01-23 02:26:38 Signal processing Statistical models Convex optimization Operations research Independent component analysis Wavelet Linear programming Support vector machine Matrix Machine learning Sparse approximation Sparse dictionary learning
16	Akka Stream and HTTP Experimental Java Documentation ReleaseTypesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2016-01-26 10:05:28 Inter-process communication Java platform Programming paradigms Computer data Models of computation Reactive Streams Akka Stream Scala Twitter Hashtag STREAMS
17	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-04-14 05:42:43 Computing Artificial intelligence Machine learning Graphical models Structured prediction Computational statistics Statistical classification Conditional random field Probabilistic programming language Inference Artificial neural network Support vector machine
18	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
19	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
20	Akka Stream and HTTP Experimental Scala Documentation ReleaseTypesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2016-04-01 09:15:21 Computing Inter-process communication Java platform Programming paradigms Computer data Models of computation Reactive Streams Akka Scala Dataflow Stream STREAMS

UPDATE